algebraic specification

specyfikacja algebraiczna

English-Polish dictionary of Electronics and Computer Science. 2013.

Look at other dictionaries:

  • Algebraic specification — [cite book|title=Algebraic Specification|first=J. A.|last=Bergstra|coauthors=B. Mahr|publisher=Academic Press|date=1989|isbn=0 201 41635 2] [cite book|title=Algebraic Specification|first=E.|last=Ehrig|coauthors=J. Heering, J.… …   Wikipedia

  • Common Algebraic Specification Language — The Common Algebraic Specification Language (CASL) is a general purpose specification language based on first order logic with induction. Partial functions and subsorting are also supported. CASL has been designed by CoFI, the Common Framework… …   Wikipedia

  • Algebraic notation (chess) — Algebraic notation Algebraic notation (or AN) is a method for recording and describing the moves in a game of chess. It is now standard among all chess organizations and most books, magazines, and newspapers. In English speaking countries, AN… …   Wikipedia

  • Algebraic chess notation — is used to record and describe the moves in a game of chess. It is now standard among all chess organizations and most books, magazines, and newspapers. In English speaking countries, it replaced the parallel system of descriptive chess notation …   Wikipedia

  • Specification language — A specification language is a formal language used in computer science.Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during systems analysis,… …   Wikipedia

  • Formal specification — A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. It describes what the system should do, not (necessarily) how the system should do it. Given such a specification, it is… …   Wikipedia

  • Model-based specification — is an approach to formal specification where the system specification is expressed as a system state model. This state model is constructed using well understood mathematical entities such as sets and functions. System operations are specified by …   Wikipedia

  • Standard Algebraic Notation — Portable Game Notation Pour les articles homonymes, voir PGN. Portable Game Notation (PGN) désigne un standard de codage des parties d échecs. Il est principalement utilisé pour la retransmission des parties sur internet et dans les bases de… …   Wikipédia en Français

  • Jan Bergstra — Jan A Bergstra is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the… …   Wikipedia

  • Larch family — The Larch family of formal specification languages are intended for the precise specification of computing systems. They allow the clean specification of computer programs and the formulation of proofs about program behavior.The Larch family was… …   Wikipedia

  • Methode formelle (informatique) — Méthode formelle (informatique) Pour les articles homonymes, voir Méthode. En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l aide de logique mathématique, sur des programmes informatiques ou… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.